/*
 * HelloWorld.cpp
 *
 *  Created on: May 26, 2013
 *      Author: Patrick
 */
#include <iostream>

int main(int argc, char **argv) {
	std::cout << "Hello, world" << std::endl;
	return 0;
}
